A Process Calculus for Dynamic Networks

In this paper we propose a process calculus framework for dynamic networks in which the network topology may change as computation proceeds. The proposed calculus allows one to abstract away from neighborhood-discovery computations and it contains features for broadcasting at multiple transmission ranges and for viewing networks at different levels of abstraction. We develop a theory of confluence for the calculus and we use the machinery developed towards the verification of a leader-election algorithm for mobile ad hoc networks

Probabilistic Mobility Models for Mobile and Wireless Networks

International audienceIn this paper we present a probabilistic broadcast calculus for mobile and wireless networks whose connections are unreliable. In our calculus, broadcasted messages can be lost with a certain probability, and due to mobility the connection probabilities may change. If a network broadcasts a message from a location, it will evolve to a network distribution depending on whether nodes at other locations receive the message or not. Mobility of nodes is not arbitrary but guarded by a probabilistic mobility function (PMF), and we also define the notion of a weak bisimulation given a PMF. It is possible to have weak bisimular networks which have different probabilistic connectivity information. We furthermore examine the relation between our weak bisimulation and a minor variant of PCTL* [1]. Finally, we apply our calculus on a small example called the Zeroconf protocol [2]

BAMBI -A transient 2D-MESFET model with general boundary conditions including Schottky and current controlled contacts

Boundary conditions using a current-dependent carrier recombination velocity distribution are developed for modelling Schottky contacts by computer-aided physical simulation. In addition, a boundary condition in the form of an abitrary linear combination of voltage and current at the contact is presented. Thus MESFET devices with simple circuits connected to device terminals can be simulated by solving additional equations. As an example the switching behaviour of a MESFET with a drain resistor is investigated

Frequency Dependent Dynamical Electromechanical Response of Mixed Ionic-Electronic Conductors

Frequency dependent dynamic electromechanical response of the mixed ionic-electronic conductor film to a periodic electric bias is analyzed for different electronic and ionic boundary conditions. Dynamic effects of mobile ions concentration (stoichiometry contribution), charge state of acceptors (donors), electron concentration (electron-phonon coupling via the deformation potential) and flexoelectric effect contribution are discussed. A variety of possible nonlinear dynamic electromechanical response of MIEC films including quasi-elliptic curves, asymmetric hysteresis-like loops with pronounced memory window and butterfly-like curves are calculated. The electromechanical response of ionic semiconductor is predicted to be a powerful descriptor of local valence states, band structure and electron-phonon correlations that can be readily measured in the nanoscale volumes and in the presence of strong electronic conductivity.Comment: 36 pages, 10 figures, accepted to J. Appl. Phy

Parameterized Verification of Safety Properties in Ad Hoc Network Protocols

We summarize the main results proved in recent work on the parameterized verification of safety properties for ad hoc network protocols. We consider a model in which the communication topology of a network is represented as a graph. Nodes represent states of individual processes. Adjacent nodes represent single-hop neighbors. Processes are finite state automata that communicate via selective broadcast messages. Reception of a broadcast is restricted to single-hop neighbors. For this model we consider a decision problem that can be expressed as the verification of the existence of an initial topology in which the execution of the protocol can lead to a configuration with at least one node in a certain state. The decision problem is parametric both on the size and on the form of the communication topology of the initial configurations. We draw a complete picture of the decidability and complexity boundaries of this problem according to various assumptions on the possible topologies.Comment: In Proceedings PACO 2011, arXiv:1108.145

Age- and Gender Dependent Liver Fat Content in a Healthy Normal BMI Population as Quantified by Fat-Water Separating DIXON MR Imaging

OBJECTIVES To establish age- and sex-dependent values of magnetic resonance (MR) liver fat-signal fraction (FSF) in healthy volunteers with normal body-mass index (BMI). METHODS 2-point mDIXON sequences (repetition time/echo time, 4.2msec/1.2msec, 3.1msec) at 3.0 Tesla MR were acquired in 80 healthy volunteers with normal BMI (18.2 to 25.7 kg/m2) between 20 and 62 years (10 men/10 women per decade). FSF was measured in 5 liver segments (segment II, III, VI, VII, VIII) based on mean signal intensities in regions of interest placed on mDIXON-based water and fat images. Multivariate general linear models were used to test for significant differences between BMI-corrected FSF among age subgroups. Pearson and Spearman correlations between FSF and several body measures were calculated. RESULTS Mean FSF (%) ± standard deviations significantly differed between women (3.91 ± 1.10) and men (4.69 ± 1.38) and varied with age for women/men (p-value: 0.002/0.027): 3.05 ± 0.49/3.74 ± 0.60 (age group 20-29), 3.75 ± 0.66/4.99 ± 1.30 (30-39), 4.76 ± 1.16/5.25 ± 1.97 (40-49) and 4.09 ± 1.26/4.79 ± 0.93 (50-62). FSF differences among age subgroups were significant for women only (p = 0.003). CONCLUSIONS MR-based liver fat content is higher in men and peaks in the fifth decade for both genders

Manipulation of Magnetic Dipole Emission from Eu 3+ with Mie-Resonant Dielectric Metasurfaces

Mie-resonant high-index dielectric nanoparticles and metasurfaces have been suggested as a viable platform for enhancing both electric and magnetic dipole transitions of fluorescent emitters. While the enhancement of the electric dipole transitions by such dielectric nanoparticles has been demonstrated experimentally, the case of magnetic-dipole transitions remains largely unexplored. Here, we study the enhancement of spontaneous emission of Eu3+ ions, featuring both electric and magnetic-dominated dipole transitions, by dielectric metasurfaces composed of Mie-resonant silicon nanocylinders. By coating the metasurfaces with a layer of an Eu3+ doped polymer, we observe an enhancement of the Eu3+ emission associated with the electric (at 610 nm) and magnetic-dominated (at 590 nm) dipole transitions. The enhancement factor depends systematically on the spectral proximity of the atomic transitions to the Mie resonances as well as their multipolar order, both controlled by the nanocylinder size. Importantly, the branching ratio of emission via the electric or magnetic transition channel can be modified by carefully designing the metasurface, where the magnetic dipole transition is enhanced more than the electric transition for cylinders with radii of about 130 nm. We confirm our observations by numerical simulations based on the reciprocity principle. Our results open new opportunities for bright nanoscale light sources based on magnetic transitions.Financial support by the Thuringian State Government within its ProExcellence initiative (ACP2020) and the German Research Foundation (STA 1426/2-1) is gratefully acknowledged. K.E.C., D.N.N., and Y.S.K. acknowledge the support by the Australian Research Council (DP150103733). Y.S.K. acknowledges a support from the Alexander von Humboldt Foundation. S.N. acknowledges financial support by the Karlsruhe School of Optics and Photonics and by the DFG Priority Programm 1839 Tailored Disorder. The authors also acknowledge their participation in the Erasmus Mundus NANOPHI project, contract number 2013 5659/002- 001. N.N., M.A.N., and S.M. would like to acknowledge the support by NSF EiR grant # 1830886